Differentiation of sin^-1x